Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Thu, 16 Apr 2020 19:36:40 +0000 (20:36 +0100)
committerJean Baptiste Favre <debian@jbfavre.org>
Thu, 16 Apr 2020 19:36:40 +0000 (20:36 +0100)
commitcf95cfdaf4e72dbbca3029de1228cf65ed40537c
tree9b0c27d8f9a952a0b4504bdf747995b7dcbbd8b6
parent8c7c1bb114459678eed73f2ef184923fab209b6f
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/manpages.py
doc/uml/Makefile.am